Synthetic Algebraic Geometry